#ifndef __PUBLIC__STDIO_H__
#define __PUBLIC__STDIO_H__

/*PROTECTED REGION ID(public_stdio_h) ENABLED START*/

    // This is a protected region as long as you keep the marks :-)


	#include <stdio/stdio.h>

/*PROTECTED REGION END*/

#endif // __PUBLIC__STDIO_H__
